Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
521	ROSATTE D5.2 - Test and validation plan Add to Reading List Source URL: tn-its.eu Language: English - Date: 2014-05-27 16:58:15 Validity Science Formal methods Evaluation Systems science Validation Verification and validation Test plan Software development process Software testing Systems engineering Pharmaceutical industry
522	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
523	Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-06-27 16:34:36 Computing Logic in computer science Computer memory Memory barrier Abstraction Abstract interpretation Algorithm Formal verification Parallel computing Mathematics Theoretical computer science Applied mathematics
524	Embedded Software Development Environment Solutions C-Language Verification Tool Using Formal Methods “VARVEL” TOKUOKA Hiroki, MIYAZAKI Yoshiaki, HASHIMOTO Yuusuke Add to Reading List Source URL: www.nec.com Language: English - Date: 2013-10-01 21:35:39 Logic in computer science Model checking Formal methods Software bug
525	Education Adjustment Program (EAP) Handbook Add to Reading List Source URL: education.qld.gov.au Language: English - Date: 2015-01-19 00:52:25 Formal verification Applied mathematics Science Education Systems engineering Verification Disability
526	¨t Augsburg Universita Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:46 Theoretical computer science Applied mathematics Computer programming Program refinement Abstract state machines Formal verification Formal specification Communications protocol ALGOL 68 Formal methods Computing Software engineering
527	Formal Verification of SystemC Designs Using a Petri-Net Based Representation Daniel Karlsson, Petru Eles, Zebo Peng Department of Computer and Information Science, Linköpings universitet, Sweden {danka, petel, zebpe}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2006-03-23 11:50:34 SystemC Models of computation Transaction-level modeling E Thread Petri net Electronic engineering Hardware verification languages Hardware description languages
528	PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:09 Logic in computer science Formal methods Automated theorem proving Programming paradigms Formal verification Correctness Denotational semantics Logic programming Nqthm Theoretical computer science Applied mathematics Mathematics
529	BMP Verification Communications Strategy Communications Workgroup Background: There is a growing demand for the tracking and reporting of practices and technologies to expand well beyond the sources the Bay watershed jur Add to Reading List Source URL: www.chesapeakebay.net Language: English - Date: 2013-02-14 13:44:41 Spaceflight Total maximum daily load Formal verification Verification Water pollution Environment Earth
530	THE USE OF A FORMAL SIMULATOR TO VERIFY A SIMPLE REAL TIME CONTROL PROGRAM Robert S. Boyer Milton W. Green J Strother Moore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:01 Formal methods Functions and mappings Formal sciences Mathematical logic Formal verification Control theory KeY Integral Function Mathematics Applied mathematics Theoretical computer science

UPDATE